1. A Decade of Concurrency Reflections and Perspectives :
پدیدآورنده: edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
2. A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993: proceedings
پدیدآورنده: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
803
3. Bifurcations in Flow Patterns :
پدیدآورنده: by P.G. Bakker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.,Mechanics.,Physics.
رده :
QA911
.
B974
1991
4. Bifurcations in flow patterns
پدیدآورنده: / by P.G. Bakker
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Fluid dynamics,Differential equations -- Numerical solutions,Bifurcation theory
رده :
QA
911
.
B255
1991
5. Current trends in concurrency :
پدیدآورنده: edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
6. Current trends in concurrency : overviews and tutorials
پدیدآورنده: edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
224
7. Current trends in concurrency : overviews and tutorials
پدیدآورنده: edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
224
8. Foundations of object-oriented languages :
پدیدآورنده: J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Langages à objets (Informatique) -- Congrès.,Langages de programmation -- Congrès.,Object-oriented programming languages -- Congresses.
رده :
QA76
.
64
J834
1991
9. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings
پدیدآورنده: J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
489
10. LANDOLT-BORNSTEIN Numerical Data and Functional Relationships in Sciencea nd Technology Group III: Crystal and Solid State Physics Volume 26 : Diffusion in Solid Metals and Alloys
پدیدآورنده: Bakker, H., Bonzel, H.P., Bruff, C.M., Dayananda, M.A., Gust, W., Horvath, J., Kaur, I., Kidson, G.V., LeClaire, A.D., Mehrer, H., Murch, G.E., Neumann, G., Stolica, N., Stolwijk, N.A.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Diffusion,، Kirkendall effect,، Solid state physics
رده :
QC
176
.
8
.
D5
M45
1990
11. Linear time, branching time, and partial order in logics and models for concurrency :
پدیدآورنده: J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic data processing-- Distributed processing.,Parallel processing (Electronic computers)
رده :
QA76
.
5
.
L523
1989
12. Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Neherlands May 30-June 3, 1988
پدیدآورنده: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
354
13. New Perspectives and Approaches in Plant Growth-Promoting Rhizobacteria Research
پدیدآورنده: edited by P. A. H. M. Bakker, J. M. Raaijmakers, G. Bloemberg, M. Höfte, P. Lemanceau, B. M. Cooke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Bacteriology.,Life sciences.,Plant diseases.
14. Real-Time:
پدیدآورنده: edited by J.W. Bakker, C. Huizing, W.P. Roever, G. Rozenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Software engineering.
15. Semantics:
پدیدآورنده: edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
16. Stepwise refinement of distributed systems :
پدیدآورنده: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic data processing-- Distributed processing, Congresses.
رده :
QA76
.
9
.
D5
S75
1990
17. Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop , Mook, The Netherlands, May 29-June 2, 1989 : Proceedings
پدیدآورنده: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
430
